Foundations of Science - PDFSEARCH.IO - Document Search Engine

Foundations of Science
Results: 707

#	Item
231	Curriculum Vitae Mads Tofte October 4, 2014 Born on April 20, 1959, in Lyngby, Denmark. Danish citizen. Married to Joan Campbell-Tofte. Vice Chancellor (“Rektor”), IT University of Copenhagen. Add to Reading List Source URL: www.itu.dk Language: English - Date: 2014-10-04 03:17:51 Fellows of the Royal Society Functional languages Procedural programming languages Mads Tofte Robin Milner Laboratory for Foundations of Computer Science Robert Harper ML SIGPLAN Software engineering Programming language theory Computing
232	ROBOTICS SCIENCE AND SYSTEMS The 2015 Robotics: Science and Systems Conference will bring together researchers working on algorithmic or mathematical foundations of robotics, robotics applications, and analysis of roboti Add to Reading List Source URL: www.roboticsconference.org Language: English - Date: 2014-09-29 09:23:58
233	Bayer Group Climate protection at summer camp ScholarShip: One objective of the Bayer Science & Education Foundation is Add to Reading List Source URL: www.bayer-foundations.com Language: English Leverkusen Mauthausen-Gusen concentration camp Nutrition Economy of Germany Pittsburgh Germany Geography of Pennsylvania Bayer IG Farben
234	Yuval Filmus Curriculum Vitæ Í 117 Oppenheimer Ln Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-10-31 15:18:39 Fellows of the Royal Society International Colloquium on Automata Languages and Programming Automated theorem proving Toniann Pitassi Daniel Filmus Symposium on Foundations of Computer Science Symposium on Theoretical Aspects of Computer Science Symposium on Theory of Computing Combinatorics Theoretical computer science Applied mathematics Computational complexity theory
235	Uriel Feige, Publications, JanuaryPapers are sorted by categories. For papers that have more than one version (typically, journal version and conference proceedings), the diﬀerent versions are combined into one Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2015-01-02 09:14:39 Uriel Feige NP-complete problems Computational complexity theory Adi Shamir Symposium on Theory of Computing International Colloquium on Automata Languages and Programming Symposium on Foundations of Computer Science Approximation algorithm Uriel Theoretical computer science Applied mathematics Mathematics
236	Publications and notes in chronological order, Mads Tofte Last updated: October 24, 2013 References [1] Mads Tofte. Add to Reading List Source URL: www.itu.dk Language: English - Date: 2013-10-24 09:57:58 Fellows of the Royal Society Functional languages Procedural programming languages Mads Tofte Robin Milner Laboratory for Foundations of Computer Science Robert Harper ML SIGPLAN Software engineering Programming language theory Computing
237	An abridged version of this paper appears in Proceedings of the 37th Symposium on Foundations of Computer Science, IEEE, 1996. Pseudorandom Functions Revisited: The Cascade Construction and its Concrete Security Mihir Be Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2005-10-31 17:44:37 Applied mathematics Algorithmic information theory Pseudorandom generator Computational complexity theory Pseudorandom function family One-way function Advantage Negligible function Function Cryptography Theoretical computer science Pseudorandomness
238	GRAPH LOGICS WITH RATIONAL RELATIONS ´ DIEGO FIGUEIRA, AND LEONID LIBKIN PABLO BARCELO, Department of Computer Science, University of Chile e-mail address: Laboratory for Foundations of Computer S Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:11:01 Theoretical computer science Model theory Universal algebra Combinatorics on words Automata theory Structure Regular language String Substructure Formal languages Mathematics Metalogic
239	IEEE Symposium on Computer Security Foundations, June 23-25, 2008 MONDAY JUNE 23 CSF Add to Reading List Source URL: ieee-security.org Language: English - Date: 2012-02-14 14:29:19 Computer science IEEE Symposium on Logic in Computer Science Year of birth missing Logic programming Frank Pfenning Logical framework Theoretical computer science Logic in computer science Programming language theory
240	Honors Class (Foundations of) Informatics Tom Verhoeff Department of Mathematics & Computer Science Software Engineering & Technology www.win.tue.nl/~wstomv/edu/hci Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2011-10-17 18:08:03 Theoretical computer science Computer science Finite-state machine Turing machine Pushdown automaton Deterministic finite automaton Nondeterministic finite automaton State Read-only Turing machine Models of computation Theory of computation Automata theory

UPDATE